Resolution of Respect: Arthur Davis Hasler

Directional Resolution: The Davis-Putnam Procedure, Revisited

The paper presents algorithm directional resolution, a variation on the original DavisPutnam algorithm, and analyzes its worstcase behavior as a function of the topological structure of the theories. The notions of induced width and diversity are shown to play a key role in bounding the complexity of the procedure. The importance of our analysis lies in highlighting structure-based tractable cl...

The Efficiency of Resolution and Davis--Putnam Procedures

We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, building on work of Clegg, Edmonds and Impagliazzo, we give an algorithm for satisfiability that when given an unsatisfiable formula of F finds a resolution proof of F , and the runtime of our algorithm is nontrivial as a f...

Davis v. Davis (1992)

In Davis v. Davis (1992), the Supreme Court of Tennessee decided a dispute over cryopreserved preembryos in favor of Junior Lewis Davis, who sought to have the preembryos destroyed over the objections of his former wife, Mary Sue Davis. The decision in Davis, although not binding in other states, suggested a framework for resolving similar disputes in the US. That framework established that cou...

PITFALLS IN THE RESOLUTION OF IQ INHERITANCE Arthur

Davis v. Davis [Brief] (1992)

This case was the first of its kind to address questions of personhood [5] in the context of in vitro [6] fertilization [7] of a human embryo. It laid a foundation for future cases to work from: specifically, this case established the importance of prior written agreements for disposition of frozen embryos. This was also the first court decision to borrow the word ?pre-embryo? from bioethics to...